<?php

class DidoServeur extends BaseDidoServeur
{
}
